Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden

Source URL: www.cse.chalmers.se

• Software engineering
• Computer programming
• Declarative programming
• Lambda calculus
• Functional programming
• Functional languages
• Subroutines
• Theoretical computer science
• Eval
• Lazy evaluation
• Lisp
• Anonymous function

Version Date API 2.0 for wm 

Source URL: writemonkey.com

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Functional languages
• Scripting languages
• Web programming
• Concurrent programming languages
• JavaScript
• Java
• C Sharp

PreparedJS: Secure Script-Templates for JavaScript Martin Johns SAP Research Abstract. Content Security Policies (CSP) provide powerful means to

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Computer security
• Hacking
• Functional languages
• Web programming
• JavaScript
• Content Security Policy
• Cross-site scripting
• Same-origin policy
• JSON
• Code injection

∗ Functional Reactive Programming, Continued Henrik Nilsson Antony Courtney

Source URL: www.antonycourtney.com

Compiler Copyright © Ericsson AB. All Rights Reserved. CompilerDecember 15, 2015 Copyright © Ericsson AB. All Rights Reserved.

Source URL: erlang.org

• Concurrent programming languages
• Compiler construction
• Functional languages
• Object-oriented programming languages
• Pascal
• Erlang
• Objective-C
• Compiler
• Perl module
• Directive

Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming:

Source URL: software.imdea.org

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

No more need for records Richard A. O’Keefe Computer Science, University of Otago November 2003 Fifth draft: May 2012 Abstract

Source URL: www.cs.otago.ac.nz

• Programming paradigms
• Functional languages
• Concurrent programming languages
• Ericsson
• Erlang
• Data management
• Mnesia
• Pattern matching
• Functional programming
• Record
• Tuple
• Object-oriented programming

Ilya Sergey C URRICULUM V ITÆ February 2016

Source URL: ilyasergey.net

• Computing
• Software engineering
• Computer programming
• Functional languages
• Scripting languages
• Symposium on Principles of Programming Languages
• International Conference on Functional Programming
• Object-oriented programming languages
• Programming Language Design and Implementation
• SIGPLAN
• Actor model
• European Symposium on Programming

Safe Parallel Programming in an Interpreted Language Chen Ding, Brian Gernhardt, Pengcheng Li Matthew Hertz Department of Computer Science

Source URL: polaris.cs.uiuc.edu

• Parallel computing
• Concurrent programming languages
• Functional languages
• MultiLisp
• Optimizing compiler
• Speculative
• Automatic parallelization